#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"
#include "MotsCles.h"

#include <string>
using namespace std;

class LecteurPhraseAvecArbre
{
public:
    LecteurPhraseAvecArbre(string nomFich);	 // Construit un lecteur de phrase pour interpreter
    //  le programme dans le fichier nomFich

    void analyse();  // Si le contenu du fichier est conforme à la grammaire,
    //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
    //   la table des symboles (ts) et l'arbre abstrait (arbre) auront été construits
    // Sinon, le programme sera interrompu en affichant le nombre d'erreur minimal.

    inline TableSymboles getTs ()    {
        return ts;       // accesseur
    }
    inline Noeud*        getArbre () {
        return arbre;    // accesseur
    }

private:
    LecteurSymbole ls;    // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;    // la table des symboles valués
    Noeud*         arbre; // l'arbre abstrait

    // implémentation de la grammaire
    Noeud* programme();   // <programme> ::= debut <seqDecl> suite <seqInst> fin FIN_FICHIER
/////////////////////////////////////////////////////////////////////////////////////////
    Noeud* seqDeclaration();   // <seqDecl> ::= { <declaration>; }
    Noeud* declaration();  // <declaration> ::= int | float | string | char <variable>
/////////////////////////////////////////////////////////////////////////////////////////
    Noeud* seqInst();	    //     <seq_ins> ::= <inst> ; { <inst> ; }
    Noeud* inst();	    //    <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter> | <instPour> | <instLire> | <instEcrire>

    Noeud* instSi(); //  <instSi> ::= si ( <expBoolOu> ) <seqInst> { sinonsi ( <expBoolOu> ) <seqInst> } [ sinon <seqInst> ] finsi
    //  [ sinon <seqInst> ] finsi
    Noeud* instTq(); // <instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
    Noeud* instPour();// <instPour> ::= pour ( affectation ; <expBool>; affectation ) <seqInst> finpour
    Noeud* instRepeter(); // <instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
    Noeud* instLire();  // <instLire> ::= lire ( <variable> )
    Noeud* instEcrire(); // <instEcrire> ::= ecrire ( <expression> | <chaine> )
    Noeud* affectation(bool pour = false);	// <affectation> ::= <variable> = <relation>
/////////////////////////////////////////////////////////////////////////////////////////
    Noeud* expBoolOu(); // <expBoolOu> ::= <expBoolEt> { <opOu> <expBoolEt> }
    Noeud* expBoolEt(); // <expBoolEt> ::= <relation> { <opEt> <relation> }
    Noeud* relation(); // <relation> ::= <expression> { <opRel> <expression> }
    Noeud* expression();	// <expression> ::= <terme> { <opAdd> <terme> }
    Noeud* terme();   // <terme> ::= <facteur> { <opMult> <facteur> }
    Noeud* facteur();    // <facteur> ::= <entier> | <reel> | <chaine> | <char> | <variable> | <opUnaire> <expBoolOu> | ( <expBoolOu> )
/////////////////////////////////////////////////////////////////////////////////////////
    Symbole opEt(); // <opEt> ::= et
    Symbole opOu(); // <opOu> ::= ou
    Symbole opAdd();  // <opAdd> ::= + | -
    Symbole opMult();  // <opMult> ::= *  | /
    Symbole opRel(); // <opRel> ::= == | != | < | <= | > | >=
    Symbole opUnaire(); // <opUnaire> ::= - | non

    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on leve une exception, sinon rien
    void erreur (string mess);      // affiche les message d'erreur mess et on leve une exception
    void erreurVar (string mess);      // affiche les message d'erreur mess et on leve une exception
    void erreurVarExistDeja (string type); // affiche les message d'erreur mess et on leve une exception
    void erreurSymboleInconu(); // affiche les message d'erreur mess et on leve une exception
    void erreurPlaceDeclaration(); // affiche les message d'erreur mess et on leve une exception
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on leve une exception
    void sauterSeqInst(string ch);

    int nbErreur; // pour compter le nombre d'erreur
};

#endif /* LECTEURPHRASEAVECARBRE_H_ */
